Comparing formal theories of context in AI

Comparing formal theories of context in AI

The problem of context has a long tradition in different areas of artificial intelligence (AI). However, formalizing context has been widely discussed only since the late 80s, when J. McCarthy argued that formalizing context was a crucial step toward the solution of the problem of generality. Since then, two main formalizations have been proposed in AI: Propositional Logic of Context (PLC) and ...

Comparing Formal Theories of Context in AILu

Comparing Formal Cognitive Emotion Theories

We discuss an approach for evaluating cognitive emotion theories that explicitly relies on the use of formal logics of agency. This approach offers various benefits, which range from the fact that a formal logical approach is able to provide an explicit account of the inferential machinery used by an agent to elicit emotions to the fact that logical specifications provide a precise model of wha...

Formal Definition of AI

A definition of Artificial Intelligence was proposed in [1] but this definition was not absolutely formal at least because the word "Human" was used. In this paper we will formalize the definition from [1]. The biggest problem in this definition was that the level of intelligence of AI is compared to the intelligence of a human being. In order to change this we will introduce some parameters to...

Comparing Strengths and Weaknesses of Learning Theories

Introduction: Medical education is changing. Therefore, teachers need to evaluate their performance and try to maximize learning. Learning theories can provide insight in this important issue. This study aimed to review the strengths and weaknesses of learning theories including behavioral, cognitive and humanistic theories. Methods: In this study, some literatures related to learning theories...